Computable number - PDFSEARCH.IO - Document Search Engine

Computable number
Results: 71

#	Item
41	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
42	422 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-18 21:28:16 Mathematics Probability theory Statistical theory Theory of computation Computability theory Entropy Conditional probability Expected value Computable number Information theory Statistics Theoretical computer science
43	Asia Pacific Mathematics Newsletter January[removed]Volume 2 Number 1 Add to Reading List Source URL: www.austms.org.au Language: English - Date: 2012-07-31 22:40:14 Mathematics Computability theory Turing machine Alan Turing Halting problem Hypercomputation Interactive computation Computability Computable number Theory of computation Theoretical computer science Computer science
44	arXiv:1311.1029v1 [math.LO] 5 Nov[removed]Problems in number theory from busy beaver competition Pascal MICHEL∗ ´ Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-05 20:25:49 Mathematics Models of computation Turing machine Alan Turing Busy beaver Collatz conjecture Computability Computable function Halting problem Computability theory Theoretical computer science Theory of computation
45	A paradox related to the Turing Test Samuel A. Alexander∗ Department of Mathematics, the Ohio State University Published in The Reasoner vol. 5, issue 6, p. 90. I will describe a paradox which arises assuming it is pos Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2012-07-26 20:25:00 Computer science Alan Turing Formal methods Models of computation Computable function Turing machine Computability Turing test Computable number Computability theory Theoretical computer science Theory of computation
46	The Denjoy alternative for computable functions Laurent Bienvenu1 , Rupert Hölzl∗2 , Joseph S. Miller†3 , and André Nies4 1,2 LIAFA, CNRS & Université de Paris 7, Case 7014, 75205 Paris Cedex 13, France laurent.bi Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-02-24 06:03:31 Theoretical computer science Randomness Computer science Algorithmically random sequence Computable number Computable function Per Martin-Löf Random sequence Continuous function Mathematics Theory of computation Computability theory
47	Bruce McCarl’s GAMS Newsletter Issue Number 19, May 2006 GAMS 22.2 release GAMS Corporation has released versions 22.0, 22.1 and 21.2 which expanded some language capabilities. Cumulative release notes are on the GAMS Add to Reading List Source URL: www.gams.com Language: English - Date: 2008-12-05 07:24:27 Mathematical optimization Applied mathematics Computer algebra systems Mathematical modeling CPLEX Numerical software MPS Computable general equilibrium AMPL Operations research Numerical analysis Mathematical software
48	Technical Memorandum Number EC[removed]Estimating Regional Economic Impacts in an Economic Analysis by Add to Reading List Source URL: www.usbr.gov Language: English - Date: 2012-12-19 19:52:31 Evaluation methods Ethology Macroeconomics Economic impact analysis Input-output model Computable general equilibrium Economic model Macroeconomic model Analysis National accounts Economics Science
49	Computability and Computation Chris Lomont Jun 22,2012 What is computability? Add to Reading List Source URL: www.lomont.org Language: English - Date: 2012-08-09 18:49:47 Mathematics Computer science Computable function Computable number Halting problem Computability Turing machine Algorithm Undecidable problem Theoretical computer science Computability theory Theory of computation
50	pdf version of the entry Turing Machines http://plato.stanford.edu/archives/sum2013/entries/turing-machine/ First published Thu Sep 14, 1995; substantive revision Tue Jun 26, 2012 Add to Reading List Source URL: leibniz.stanford.edu Language: English - Date: 2014-06-20 10:34:12 Computer science Turing machine Models of computation Alan Turing Computability Busy beaver Halting problem Computable number Church–Turing thesis Theoretical computer science Computability theory Theory of computation